Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000C18 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
000C88 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
001141 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
001578 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination |
This area was generated with Dilib version V0.6.33. |